COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	:- nolog.
C00003 ENDMK
C⊗;
:- nolog.
xyz :- restore('xyz.sav').
sxyz :- save('xyz.sav').


-X :- fixup←name(X,Y), reconsult(Y).
+X :- fixup←name(X,Y), consult(Y).
not(X) :- fixup←name(X, Y), compile(Y).

fixup←name(X,Y) :- name(X, Ex), append(Ex, ".pl", Ex2), name(Y, Ex2).

append([], X, X).
append([X|L], Y, [X|Z]) :- append(L, Y, Z).